Opportunistically Parallel Lambda Calculus
dl.acm.org·22h·
Discuss: Hacker News
📏Linear Types
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·19h·
Discuss: Lobsters, Hacker News
🔺GATs
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·2h·
Discuss: Hacker News
🔤Tokenization
Flag this post
In a First, AI Models Analyze Language As Well As a Human Expert
quantamagazine.org·5h·
Discuss: Hacker News
🎭Claude
Flag this post
Ajla Tutorial
ajla-lang.cz·19h·
Discuss: Hacker News
⚙Rust Macros
Flag this post
Building Up And Sanding Down
endler.dev·20h
🪄Prompt Engineering
Flag this post
🎲 On LLMs
kaukas.mataroa.blog·11h
🪄Prompt Engineering
Flag this post
Down with template (or not)!
cedardb.com·20h
🦀Rust Compiler Internals
Flag this post
Introducing Project Telos: Modeling, Measuring, and Intervening on Goal-directed Behavior in AI Systems
lesswrong.com·11h
🛡️AI Safety
Flag this post
Introductory Python: Basic Python Objects, Functions, and Loops— Part 1
pub.towardsai.net·13h
⚙️Language Runtimes
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·12h·
Discuss: Hacker News
📟Terminals
Flag this post
LangGraph feels like what LangChain wanted to be
leanware.co·15h·
Discuss: r/rust
👨‍💻AI Coding
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·18h·
Discuss: Hacker News, r/programming
👨‍💻Software development practices
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·19h·
Discuss: Hacker News
📘Typescript
Flag this post
Stop Writing Code, Start Writing Docs
thenewstack.io·56m
🪄Prompt Engineering
Flag this post
Mathematical Proof Debunks the Idea That the Universe Is a Computer Simulation
science.slashdot.org·18h
⚛️Physics
Flag this post
Building AI-driven workflows powered by Claude Code
uxdesign.cc·8h
🎭Claude
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·5h·
Discuss: Lobsters, Hacker News
🦀Rust Compiler Internals
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.org·11h·
Discuss: Lobsters, Hacker News
🔄Serde
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·1h·
Discuss: Hacker News
🔄Eventual Consistency
Flag this post